Lemma 2.1.5 (Whitehead)

Let be a unital C-star-Algebra and let . Then

In .

It follows in particular that
in

Proof:

From Lemma 2.1.3 we get that
Hence The other claims follow in a similar way.